Software verification

Results: 1531



#Item
521Engineering / Software testing / Design for X / Electrical engineering / Shmoo plot / Reliability engineering / Shmoo / Failure causes / Debugging / Failure / Technology / Systems engineering

Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver

Add to Reading List

Source URL: davesource.com

Language: English - Date: 2009-11-19 18:03:25
522Hardware virtualization / X86 architecture / X86 virtualization / Model checking / Virtualization / Hypervisor / Formal methods / Verification and validation / Bochs / System software / Software / Virtual machines

Secure Virtualization with Formal Methods Cynthia Sturton Electrical Engineering and Computer Sciences University of California at Berkeley

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-12-19 00:17:07
523Engineering / Software testing / Design for X / Electrical engineering / Shmoo plot / Reliability engineering / Shmoo / Failure causes / Debugging / Failure / Technology / Systems engineering

Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver

Add to Reading List

Source URL: davefaq.com

Language: English - Date: 2000-08-22 08:44:34
524Manned spacecraft / Spaceflight / Human spaceflight / International Space Station

Towards trustworthy aerospace systems Towards Trustworthy Aerospace Systems: An Experience Report Joost-Pieter Katoen Software Modeling and Verification Group

Add to Reading List

Source URL: events.fortiss.org

Language: English
525Quality management / Systems science / Quality / Software quality / Software requirements / ISO / Reliability engineering / Verification and validation / Requirement / Systems engineering / Science / Software development

An asterisk (*) indicates section where objective evidence is required. 4. Organization/Management 4.1.1 Requirements

Add to Reading List

Source URL: search.anab.org

Language: English - Date: 2015-01-09 11:06:58
526Software / Applied mathematics / Programming language implementation / X86 / Runtime verification / Low-level programming language / Formal verification / Pin / Compiler / Formal methods / Logic in computer science / Computing

BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2011-07-20 13:50:41
527Science / Software development / Technology / Climate change policy / Formal methods / Validation / Verification and validation / European Union Emission Trading Scheme / The Verifier / Systems engineering / Pharmaceutical industry / Validity

EUROPEAN COMMISSION DIRECTORATE-GENERAL CLIMATE ACTION Directorate A - International and Climate Strategy CLIMA.A.3 - Monitoring, Reporting, Verification

Add to Reading List

Source URL: ec.europa.eu

Language: English - Date: 2014-11-06 15:58:26
528Software engineering / Formal methods / Constraint programming / Logic in computer science / Logic programming / Solver / Formal verification / Synthesizer / Model checking / Applied mathematics / Theoretical computer science / Programming paradigms

Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2012-07-31 02:23:26
529Chromatography / Verification and validation / Zearalenone / Calibration curve / High-performance liquid chromatography / Quality assurance / Protocol / Mass spectrometry software / Chemistry / Science / Scientific method

NASA Ocean Biology and Biogeochemistry GSFC Calibration and Validation Office 1450 S. Rolling Road, Halethorpe, Maryland 21227 +[removed]27 April 2009

Add to Reading List

Source URL: oceancolor.gsfc.nasa.gov

Language: English - Date: 2013-04-29 07:35:04
530Proof theory / John Vincent Atanasoff / Decidability / Realizability / FIFO / Distributed computing / Message passing / Concurrent computing / Inter-process communication / Computing

[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2013-10-21 10:18:08
UPDATE